- replacing form
- замещающая форма
Англо-русский словарь по экологии. 2011.
Англо-русский словарь по экологии. 2011.
Static single assignment form — In compiler design, static single assignment form (often abbreviated as SSA form or SSA) is an intermediate representation (IR) in which every variable is assigned exactly once. Existing variables in the original IR are split into versions , new… … Wikipedia
DD Form 214 — The DD Form 214, officially DD Form 214 Certificate of Release or Discharge from Active Duty , but generally referred to as a DD 214 , is a document of the United States Department of Defense, issued upon a military service member s retirement,… … Wikipedia
Skolem normal form — A formula of first order logic is in Skolem normal form (named after Thoralf Skolem) if it is in conjunctive prenex normal form with only universal first order quantifiers. Every first order formula can be converted into Skolem normal form while… … Wikipedia
pro-form — /proh fawrm /, n. Gram. a word used to replace or substitute for a word, phrase, or clause belonging to a given grammatical class, as a pronoun used to replace a noun or noun phrase, there used to replace an adverb or adverbial phrase of place,… … Useful english dictionary
Jordan normal form — In linear algebra, a Jordan normal form (often called Jordan canonical form)[1] of a linear operator on a finite dimensional vector space is an upper triangular matrix of a particular form called Jordan matrix, representing the operator on some… … Wikipedia
Indeterminate form — In calculus and other branches of mathematical analysis, an indeterminate form is an algebraic expression obtained in the context of limits. Limits involving algebraic operations are often performed by replacing subexpressions by their limits; if … Wikipedia
Backus–Naur Form — In computer science, Backus–Naur Form (BNF) is a metasyntax used to express context free grammars: that is, a formal way to describe formal languages. John Backus and Peter Naur developed a context free grammar to define the syntax of a… … Wikipedia
Argument form — In logic, the argument form or test form of an argument results from replacing the different words, or sentences, that make up the argument with letters, along the lines of algebra; the letters represent logical variables . The sentence forms… … Wikipedia
Second Form at St. Clare's — Infobox Book name = Second Form at St. Clare s title orig = translator = image caption = author = Enid Blyton illustrator = cover artist = country = language = series = subject = genre = publisher = pub date = 1944 english pub date = media type … Wikipedia
Negation normal form — A logical formula is in negation normal form if negation occurs only immediately above elementary propositions, and { } are the only allowed Boolean connectives. In classical logic each formula can be brought into this form by replacing… … Wikipedia
Logical form — The form or logical form of an argument is the representation of its sentences using the formal grammar and symbolism of a logical system to display its similarity with all other arguments of the same type.It consists of stripping out all… … Wikipedia